🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🌐 Protocol Synthesis

Session Types, Communication Safety, Distributed Systems, Type-driven Development

A New Concurrent ML in Guile Scheme
wingolog.org·6h·
Discuss: Hacker News
🔄Lens Laws
Relative Completeness of Incorrectness Separation Logic
arxiv.org·11h
🧠Separation Logic
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Building a Multi-Modal GPT Agent in TypeScript with OpenAI
dev.to·1d·
Discuss: DEV
🎙️Whisper
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·8h
✅Archive Validation
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
In Support Of Shitty Types
lucumr.pocoo.org·20h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
The Generativity Pattern in Rust
arhan.sh·20h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Building Testable Telegram Bots with Zustand
zwit.link·1d·
Discuss: Hacker News
🌊Streaming Systems
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·1d
⚡gRPC
Software Internals Book Club
eatonphil.com·9h
⚙️Operating System Design
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·1h·
Discuss: Hacker News
🤝Paxos Consensus
These protocols will help AI agents navigate our messy lives
technologyreview.com·1d
🔌Interface Evolution
Cybersecurity Instruction Tuned Model
huggingface.co·12h·
Discuss: Hacker News
🔒WASM Capabilities
How to Write Inductive Invariants
quint-lang.org·4d·
Discuss: Lobsters, Hacker News, r/programming
⚖️Hoare Logic
Prefer Module Composition over Inheritance With TF
newsletter.masterpoint.io·1d·
Discuss: Hacker News
🧩WASM Modules
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·2h·
Discuss: Hacker News
📼Tape Combinators
RapiTapir: Type-Safe HTTP APIs for Ruby
github.com·18h·
Discuss: Hacker News
🔌Archive APIs
Loading...Loading more...
AboutBlogChangelogRoadmap